Classical logic

Results: 885



#Item
781Propositional calculus / Boolean algebra / Substructural logic / Philosophical logic / Relevance logic / Negation / Intuitionistic logic / Modal logic / BL / Logic / Mathematical logic / Non-classical logic

PDF Document

Add to Reading List

Source URL: www.mi.sanu.ac.rs

Language: English - Date: 2009-07-14 10:07:18
782Logic in computer science / Logic / Fuzzy logic / Non-classical logic / Scale / Decision making / Neuroscience / Artificial intelligence / Decision theory / Science

ISSN: [removed]ISO 9001:2008 Certified International Journal of Engineering and Innovative Technology (IJEIT)

Add to Reading List

Source URL: ijeit.com

Language: English - Date: 2014-02-17 10:56:09
783Logic in computer science / Monoidal categories / Lambda calculus / Non-classical logic / Models of computation / Cartesian closed category / Adjoint functors / Closed monoidal category / Sheaf / Mathematics / Category theory / Abstract algebra

Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes

Add to Reading List

Source URL: www.pps.univ-paris-diderot.fr

Language: English - Date: 2012-09-28 07:43:12
784Probability / Statistical models / Bayesian statistics / Markov processes / Markov chain / Non-classical logic / Bayesian network / Probabilistic logic / Relational model / Statistics / Markov models / Probability and statistics

Relational Markov Models and their Application to Adaptive Web Navigation Corin R. Anderson

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2002-10-08 04:13:20
785Philosophers of mathematics / Non-classical logic / Philosophical logic / Quantification / Model theory / Finitary / Jaakko Hintikka / Infinitary logic / John Lane Bell / Logic / Mathematical logic / Mathematics

Microsoft Word - mevita.Jun2010.4page.docx

Add to Reading List

Source URL: www.math.helsinki.fi

Language: English - Date: 2010-09-06 02:56:00
786Predicate logic / Non-classical logic / Association for Symbolic Logic / Workshop on Logic /  Language /  Information and Computation / Modal logic / Federated Logic Conference / Informal logic / Mereology / Categorical logic / Logic / Mathematical logic / Philosophical logic

Association for Symbolic Logic Business Office: Box 742, Vassar College 124 Raymond Avenue, Poughkeepsie, New York 12604, USA

Add to Reading List

Source URL: www.aslonline.org

Language: English - Date: 2009-10-21 13:04:30
787Differential equation / Mathematics / Mathematical analysis / Calculus / Four-square cipher / Classical cipher / Automated theorem proving / Logic programming / Unification

An Efficient Unification Algorithm ALBERTO MARTELLI Consiglio Nazionale delle Ricerche

Add to Reading List

Source URL: www.nsl.com

Language: English - Date: 2007-07-28 10:31:25
788Modal logic / Fuzzy logic / Philosophical logic / Non-classical logic / Axiom / BL / Epistemic modal logic / S / Constructive set theory / Logic / Mathematical logic / Mathematics

Explicit Logics of Knowledge and Conservativity Melvin Fitting Lehman College, CUNY, 250 Bedford Park Boulevard West, Bronx, NY[removed]

Add to Reading List

Source URL: isaim2008.unl.edu

Language: English - Date: 2010-08-24 11:06:50
789Philosophical logic / Possibility / Non-classical logic / Logical syntax / Logical possibility / Accessibility relation / Possible world / Proposition / Entailment / Logic / Mathematical logic / Modal logic

LOGICAL, SCIENTIFIC AND REAL POSSIBILITY 1. Real vs. abstract possibility

Add to Reading List

Source URL: www.fphil.uniba.sk

Language: English - Date: 2008-12-12 15:34:57
790Modal logic / Philosophical logic / Non-classical logic / Logic in computer science / Kripke semantics / Intuitionistic logic / General frame / Natural deduction / Interior algebra / Logic / Mathematical logic / Mathematics

Categorical and Kripke Semantics for Constructive S4 Modal Logic Natasha Alechina1 , Michael Mendler2, Valeria de Paiva3 , and Eike Ritter4

Add to Reading List

Source URL: www.cs.nott.ac.uk

Language: English - Date: 2009-09-20 11:12:09
UPDATE